import _00SetFunc as ss
import __00SetRelation as sr

#验证幂运算性质
Xm,r,m,n=20,15,3,5 
X=set(range(Xm))
R=sr.createrelation(X,X,r)
E1=sr.composite(sr.powern(R,m),sr.powern(R,n))
E2=sr.powern(R,m+n)
tv=E1==E2
print("R",R)
print("tv",tv)